Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Nicolas Beldiceanu , Constraint (Master ORO ), 30h, M2, Nantes University , France.

• Master: Nicolas Beldiceanu , Logic Programming, 32h, M2, Mines Nantes , France.

• Master: Nicolas Beldiceanu , Gipad end project, 8h, M2, Mines Nantes , France.

• Licence: Nicolas Beldiceanu , Programming with Java, 42h, L3, Mines Nantes , France.

• Licence: Nicolas Beldiceanu , Automata, 12h, L3, Mines Nantes , France.

• Licence: Nicolas Beldiceanu , IPIPIP project, 12h, L1, Mines Nantes , France.

• Licence: Gilles Chabert , Variational calculus, 12h, L3, Mines Nantes , France.

• Licence: Gilles Chabert , Numerical methods, 21h, L3, Mines Nantes , France.

• Master: Gilles Chabert , Project Supervision, L3, Master 1 and Master2, Mines Nantes , France.

• Master: Gilles Chabert , Non-linear optimization, 20h, M1, Mines Nantes , France.

• Master: Gilles Chabert , Non-linear optimization, 24h, M1, Nantes University , France.

• Master: Gilles Chabert , Non-linear programming, 20h, M2, Mines Nantes , France.

• Licence: Xavier Lorca , Software engineering and miscellaneous , 30h, Mines Nantes , France.

• Master: Xavier Lorca In charge of the organisation of the Gipad specialty (coordinating 12 modules of 45h each).

• Master: Xavier Lorca Gipad (Graph and Algorithms, Artificial Intelligence and Constraint Programming, Decision Analytics, Data Visualisation, Architecture of Computer System and Software), 100h, Mines Nantes , France.

• Licence, Master: Eric Monfroy , Head of the computer science department, Nantes University , France.

• Licence: Eric Monfroy , Logic, L2 Nantes University , France.

• Licence: Eric Monfroy , Computer Architecture, L3 Nantes University , France.

• Licence: Eric Monfroy , Computability theory and foundations, L3 Nantes University , France.

• Master: Eric Monfroy , Modelling with constraints, (Master ORO ), M1, Nantes University , France.

• Licence: Florian Richoux , Algorithm and data structures, L2, Nantes University , France.

• Licence: Florian Richoux , Object programming and design patterns, L3, Nantes University , France.

• Licence: Florian Richoux , Operation Research, exercises and practice, L3, Nantes University , France.

• Master: Florian Richoux , Machine Learning, exercises and practice (Master ATAL ), M1, Nantes University , France.

• Master: Florian Richoux , Constraint programming (Master ORO ), M1, Nantes University , France.

• Licence: Charlotte Truchet , 192h, L1, Nantes University , France.

Supervision

• PhD : Alban Derrien , Cumulative scheduling in constraint programming (energetic characterization of reasoning and robust solutions), Mines Nantes , November 27 2015, Thierry Petit and Nicolas Beldiceanu .

• PhD in progress : Ignacio Salas Donoso , Packing curved shapes, May 2013, Gilles Chabert and Nicolas Beldiceanu .

• PhD in progress : Gilles Madi Wamba , Mixing constraint programming and behavioural models to manage energy consumption in data centre, October 2014, Nicolas Beldiceanu and Didier Lime .

• PhD in progress : Alejandro Reyes Amaro , Toward autonomous parallel algorithms for constraint-based problems, October 2014, Eric Monfroy and Florian Richoux .

• PhD in progress : Anicet Bart , Solving mixed constraints, application to the management of mobile sensors, October 2014, Eric Monfroy and Charlotte Truchet .

• PhD in progress : Ekaterina Arafailova , Functional constraints, September 2015, Nicolas Beldiceanu and Rémi Douence .

• PhD in progress : Nicolas Galvez , Hybrid Algorithms for Search Based Software Engineering, December 2014, Eric Monfroy with Frédéric Saubion from Angers University and C. Castro from UTFSM Valparaiso, Chili.

• PhD in progress : Léopold Houdin , Set-based algorithms for characterizing limit cycles in bio-inspired robotics, October 2015, Frédéric Boyer , Gilles Chabert , Alexandre Goldsztejn .

• Master thesis : Ekaterina Arafailova (February-June 2015), reformulation of automata with accumulators as linear programs, Nicolas Beldiceanu .

• Master thesis : Julien Fradin (February-June 2015), extensions to the GHOST library, Florian Richoux .

• Master thesis : Adrien Bodineau (January-April 2015), extensions to the GHOST library, Florian Richoux .

• Internship : Guillaume Legru (April-May 2015), IA for combat games, Florian Richoux .

Juries

• Nicolas Beldiceanu , Member of the committee of the PhD of Alban Derrien , Cumulative scheduling in constraint programming (energetic characterization of reasoning and robust solutions), Mines Nantes , November 27 2015.

• Nicolas Beldiceanu , Member of the committee of the PhD of Haykel Boukadida , Automatic creation of video summarisation with constraint programming, Rennes University , December 4 2015.

• Xavier Lorca , Member of the committee of the PhD of Alban Derrien , Cumulative scheduling in constraint programming (energetic characterization of reasoning and robust solutions), Mines Nantes , November 27 2015.

• Xavier Lorca , Member of the committee of the PhD of Nebras Gharbi , Compression and parallelisation in CSP, Lens University , December 4 2015.

• Xavier Lorca , Member of the committee of the PhD of Mohammed Rezgui , Parallelism in constraint programming, Nice University , July 7 2015.

• Eric Monfroy , Member of the committee of the PhD of Roberto Amadini , Portfolio Approaches in Constraint Programming, Bologna University , June 4 2015.

• Thierry Petit , Member of the committee of the PhD of Alban Derrien , Cumulative scheduling in constraint programming (energetic characterization of reasoning and robust solutions), Mines Nantes , November 27 2015.